1

Hilbert's Programme and Gödel's Theorems

Year:
2002
Language:
english
File:
PDF, 113 KB
english, 2002
2

Concepts of Reduction in Logic and Philosophy || On the Logic of Reducibility: Axioms and Examples

Year:
2000
Language:
english
File:
PDF, 3.32 MB
english, 2000
3

Extensions of the Finitist Point of View

Year:
2001
Language:
english
File:
PDF, 389 KB
english, 2001
5

Nonmonotonicity in (the Metamathematics of) Arithmetic

Year:
1999
Language:
english
File:
PDF, 141 KB
english, 1999
6

On The Logic Of Reducibility: Axioms And Examples

Year:
2000
Language:
english
File:
PDF, 173 KB
english, 2000
7

Structuralism, Model Theory and Reduction

Year:
2002
Language:
english
File:
PDF, 178 KB
english, 2002
8

Coherence and Dynamics of Belief || Nonmonotonicity in (The Metamathematics of) Arithmetic

Year:
1999
Language:
english
File:
PDF, 2.19 MB
english, 1999
9

Structuralism || Structuralism, Model Theory and Reduction

Year:
2002
Language:
english
File:
PDF, 3.12 MB
english, 2002